Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Proof theory
• Mathematical logic
• Mathematics
• Proof mining
• Mathematical proof
• Consistency
• Constructive proof
• Formal proof
• Intuitionistic logic
• Approximation
• Type theory

Evolving memory cell structures for sequence learning Justin Bayer, Daan Wierstra, Julian Togelius and J¨ urgen Schmidhuber IDSIA, Galleria 2, 6928 Manno-Lugano, Switzerland {justin, daan, julian, juergen}@idsia.ch

Source URL: people.idsia.ch

• Artificial neural networks
• Machine learning
• Applied mathematics
• Cybernetics
• Long short-term memory
• Recurrent neural network
• Artificial intelligence
• Handwriting recognition
• Feedforward neural network
• Backpropagation through time
• Backpropagation
• Brain

2 Master of Science in Computational Science COMPUTATIONAL SCIENCE Computational Science –

Source URL: www.mcs.usi.ch

• Academia
• Computational science
• Applied mathematics
• Mathematics
• Mathematical optimization
• Differential equation
• Numerical analysis
• Monte Carlo method
• University of Lugano
• Quantitative analyst
• Algorithm
• Sidney Fernbach Award

Transfer of Evolved Pattern-Based Heuristics in Games Erkin Bahc¸eci and Risto Miikkulainen Abstract— Learning is key to achieving human-level intelligence. Transferring knowledge that is learned on one task to anothe

Source URL: www.csse.uwa.edu.au

• Artificial neural networks
• Evolutionary algorithms
• Applied mathematics
• Artificial intelligence
• Machine learning
• Evolutionary computation
• Genetic algorithms
• Computational statistics
• Neuroevolution
• HyperNEAT
• Compositional pattern-producing network
• Pattern recognition

SIAM J. SCI. COMPUT. Vol. 27, No. 4, pp. 1261–1286 c 2006 Society for Industrial and Applied Mathematics 

Source URL: www.math.mun.ca

Beyond Keyword Search: Discovering Relevant Scientific Literature Khalid El-Arini Carlos Guestrin

Source URL: select.cs.cmu.edu

• Applied mathematics
• Information science
• Information retrieval
• Operations research
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Bayesian network
• Artificial neural network
• Algorithm
• Dynamic programming

Simple Evolutionary Optimization Can Rival Stochastic Gradient Descent in Neural Networks In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCONew York, NY: ACM Nominated for Best Paper Aw

Source URL: eplex.cs.ucf.edu

• Artificial neural networks
• Applied mathematics
• Artificial intelligence
• Machine learning
• Neuroevolution
• Evolutionary algorithm
• Deep learning
• Backpropagation
• Stochastic gradient descent
• HyperNEAT
• Genetic algorithm
• Multilayer perceptron

SIAM J. DISCRETE MATH. Vol. 18, No. 1, pp. 103–109 c 2004 Society for Industrial and Applied Mathematics 

Source URL: page.math.tu-berlin.de

ELSEVIER Information Processing

Source URL: www.maths.lse.ac.uk

• Online algorithms
• Analysis of algorithms
• Applied mathematics
• List update problem
• Computer science
• Mathematics
• Algorithm
• Competitive analysis
• Page replacement algorithm

Advances in Particle Swarm Optimization AP Engelbrecht Computational Intelligence Research Group (CIRG) Department of Computer Science University of Pretoria South Africa

Source URL: www.wcci2016.org

• Mathematical optimization
• Operations research
• Evolutionary algorithms
• Metaheuristics
• Particle swarm optimization
• Swarm intelligence
• Applied mathematics
• Multi-objective optimization
• Numerical analysis
• Computational intelligence
• Cognition
• Swarm behaviour